TAGs: subtracting mixed fractions